Proceedings of the Japan Academy